(setq loop_count 0)

(defun tarai (x y z)
  (setq loop_count (+ loop_count 1))
  (if (< y x)
      (tarai (tarai (- x 1) y z) (tarai (- y 1) z x) (tarai (- z 1) x y))
    y))

(print (tarai 12 6 0))
(print loop_count)
